منابع مشابه
Truth and Inductive Definability
The purpose of this note is to give an exposition of Kripke’s theory of truth [4] within the context of the theory of induction on abstract structures. The results are not presented in full generality: That is not needed for the applications made here. For that, see Moschovakis [6], Kechris and Moschovakis, [2], and McGee [5, ch. 5]. Useful papers here, besides Kripke’s original, include Feferm...
متن کاملInductive Definability and the Situation Calculus
We explore the situation calculus within the framework of inductive deenability. A consequence of this view of the situation calculus is to establish direct connections with diierent variants of the-First we show that the induction principle on situations Reiter, 1993] is implied by an inductive deenition of the set of situations. Then we consider the frame problem from the point of view of ind...
متن کاملInfinitary Logic and Inductive Definability over Finite Structures
The extensions of first-order logic with a least fixed point operators (FO + LFP) and with a partial fixed point operator (FO + PFP) are known to capture the complexity classes P and PSPACE respectively in the presence of an ordering relation over finite structures. Recently, Abiteboul and Vianu [AV91b] investigated the relation of these two logics in the absence of an ordering, using a mchine ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2003.10.013